Logic and argumentation
نویسندگان
چکیده
منابع مشابه
Argumentation and Propositional Logic
Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in Artificial Intelligence (AI). Argumentation is also close to the original inception of logic as a framework for formalizing human debate and dialogue. The purpose of this paper is to draw a formal connection between argumentation and classical reasoning, ...
متن کاملClassical Logic, Argumentation and Dialectic
A well studied instantiation of Dung’s abstract theory of argumentation yields argumentation-based characterisations of non-monotonic inference over possibly inconsistent sets of classical formulae. This provides for single-agent reasoning in terms of argument and counter-argument, and distributed non-monotonic reasoning in the form of dialogues between computational and or human agents. Howeve...
متن کاملAbstract Argumentation, Logic & Games
Abstract Argumentation, Logic & Games ∗Argumentation, Logic & Games ∗ Davide Grossi University of Liverpool Abstract argumentation [2] is the theory of graphs of the type 〈A, 〉—called attack graphs—where A is a set and a binary relation. These are high-level models of the sort of conflict that occurs in argumentation where arguments (the elements of A) interact by attacking one another (through...
متن کاملArgumentation and Cooperation for Distributed Extended Logic Programs Argumentation and Cooperation for Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been deened in 3, 10] for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an algorithm for inference in the framework and an example to show the process of cooperation and argum...
متن کاملComputing Argumentation in Logic Programming
In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing semantics for negation as failure in logic programming can be understood in a uniform way using argumentation. Moreover, other logics for non-monotonic reasoning that can also...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2018
ISSN: 1166-3081,1958-5780
DOI: 10.1080/11663081.2018.1487243